pub fn cast_float64_to_uint32<'a>(a: f64) -> Result<u32, EvalError>