Symbol: uint32_to_float64