Fix JSON_DECIMAL output (again!) :}