getting fraction from decimal number

[Bacci]

This isn't necessarily a php-specific question, but I'm looking for a
formula to determine the fraction portion of a decimal number. For instance,
8.25. I could simply search the number (as a string) and return everything
from the right of the decimal point (.25). However is there a formula to do
this more eloquently?

Thanks in advance.