math.float64bits() function