$width  = (float)1.0050;
echo 'Width: '.$width.'m';
$width = (int)($width*1000);
echo 'Width:'. $width . 'mm';