pub fn cast_int64_to_uint32<'a>(a: i64) -> Result<u32, EvalError>