num2num_with_frac 3283 ext/date/date_core.c 	num2num_with_frac(jd, positive_inf);
num2num_with_frac 7200 ext/date/date_core.c 	num2num_with_frac(jd, 1);