pub fn cast_uint64_to_int64<'a>(a: u64) -> Result<i64, EvalError>