changed: - \begin{axiom} ex := Gamma(3/2::EXPR INT) ex::EXPR FLOAT ex::EXPR FLOAT::FLOAT \end{axiom}
(1) -> ex := Gamma(3/2::EXPR INT)
ex::EXPR FLOAT
ex::EXPR FLOAT::FLOAT Cannot convert the value from type Expression(Float) to Float .