use_double        327 ext/json/JSON_parser.c 				goto use_double;
use_double        335 ext/json/JSON_parser.c use_double:
use_double       1022 ext/standard/var_unserializer.c use_double:
use_double       1141 ext/standard/var_unserializer.c 				goto use_double;
use_double       1144 ext/standard/var_unserializer.c 			goto use_double;