JSON can only read double, not float