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.

[Pedro Graca]

Bacci wrote:

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?

Maybe

<?php
$x = 8.25;
$y = $x - (int)$x; // $y now has 0.25
?>
--
--= my mail box only accepts =--
--= Content-Type: text/plain =--
--= Size below 10001 bytes =--

[FLEB]

Regarding this well-known quote, often attributed to Pedro Graca's famous
"8 Feb 2004 12:20:43 GMT" speech:

Bacci wrote:

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?

Maybe

<?php
$x = 8.25;
$y = $x - (int)$x; // $y now has 0.25
?>

I'd recommend using:
$y = $x - floor($x);
to be sure of the rounding method.

--
-- Rudy Fleminger
-- [e-mail]
(put "Hey!" in the Subject line for priority processing!)
-- http://www.pixelsaredead.com