Add divF and modF to overloaded ops as they map to overloaded div and mod
Add divF and modF to overloaded ops as they map to overloaded div and mod


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@6368 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware