<?php printf("%10g\n", 123); printf("%10g\n", INF);
You have javascript disabled. You will not be able to edit any code.