Подскажите пожалуйста как можно средствами PHP умножить целое число на дробь? К примеру: 10x0.2 и на вот такое 10x0.25