How to add 00 after a number in php

$value = 100.25;
echo number_format($value, 2);