Don't hide decimals in AST values.