Fixed point number class for PHP