SELECT printf('%09.3f', 7.125), format('{:09.3f}', 7.125);