Round float to 3 decimals

Converts number to "XXX.XXX" format with 3 figures after dot.

php
fork add to bundle source
function round_number_3($number) { return number_format((float)$number, 3); }

usage

load_function('round_number_3'); echo round_number_3(123.232411); // 123.232
← how to use this in app?
create log ...inout