Remove fast_f2nat