Adition of ringmodf and ringmod.

This follows the C standard library convensions; the old ringmod is now ringmodi, and ringmod works on doubles.