wrong_numeric_value.ggo:3: invalid numeric value