minor fixes in Json Number type and Json Array of fixed length