changed: - \begin{axiom} ex := Gamma(3/2::EXPR INT) ex::EXPR FLOAT ex::EXPR FLOAT::FLOAT \end{axiom}
axiomex := Gamma(3/2::EXPR INT)
axiomex::EXPR FLOAT
axiomex::EXPR FLOAT::FLOAT Cannot convert from type Expression Float to Float for value _ | (1.5)