Nuprl "Reals" Library

num_thy_aux rationals reals