Fermat reals: in netesimals without logic