getting the fractional part of a real?

[Roy Smith]

What's the best way to get the fractional part of a real?  The two ways I 
can see are r % 1 and r = int(r), but both seem a bit hokey.  Is there 
something more straight-forward that I'm missing, like fraction(r)?
-- 
http://mail.python.org/mailman/listinfo/python-list