Ok, good to know. The geoJSON converter in PostGIS requires floats, so I had to write a little converter.