<?php var_dump(intdiv("3.34e3", 1), +"3.34e3", "3.34e3" % 10000);
You have javascript disabled. You will not be able to edit any code.