use_double       1050 ext/standard/var_unserializer.c use_double:
use_double       1169 ext/standard/var_unserializer.c 				goto use_double;
use_double       1172 ext/standard/var_unserializer.c 			goto use_double;