Fix International decimal point operation
A typo in the print field format was preventing correct operation when the decimal point character was anything other than '.' (see https://www.riscosopen.org/tracker/tickets/470).
Tested arithmetic with decimal points characters '.' and ','.
Also, reinsert a local @% setting when checking for BASIC64 at startup.