With DECC$PRINTF_USES_VAX_ROUND enabled, the F and E format
    specifiers of printf use VAX rounding rules for programs compiled
    with IEEE float.