Is there a FORMAT directive that prints real numbers as integers (truncated or rounded), without a decimal point?