blob: 733df8c4e7dca91e4df539b54e2e48c793efdbdb [file]
float.fromhex("0.5")