The JSON5 spec requires exact capitalization of these strings. Other numeric parsers such as strtod() are usually more lenient.