nurat_int_value   550 rational.c     	num = nurat_int_value(num);
nurat_int_value   554 rational.c     	num = nurat_int_value(num);
nurat_int_value   555 rational.c     	den = nurat_int_value(den);
nurat_int_value  1715 rational.c         other = nurat_int_value(other);
nurat_int_value  1733 rational.c         other = nurat_int_value(other);
nurat_int_value  1750 rational.c         other = nurat_int_value(other);