pub fn cast_float32_to_uint64<'a>(a: f32) -> Result<u64, EvalError>