Json schema number decimal July 8, 2019 16 32 64 128 Json schema number decimal places Json schema number format decimal