pub fn ceil_float( _: &'_ mut dyn EvalContext, a: &[ExprValue], ) -> Result<ExprValue, ExpressionError>