SERVER-11920 Reference ticket with information about number parsing in JSON parser