A didatic Decimal to Floating Point converter, written on php.