One of our users was asking about the possibility of a 64 bit TIMER and 64 bit integer arithmetic. The need was to time both millisecond and long time - minutes or even hours. The 32 bit TIMER rolls over every 70 minutes or so. The ARM is a 32 processor, so that dictates the 32 bit math. But in BASIC with a little help from assembly can handle 64 bit math.
We've been porting our BASIC for ARM to popular hardware platforms, and now we include micro:bit nRF51822 to join Arduino Zeros, Pokito LPC1768mbed and Teensy. We don't build or sell these boards but by providing a binary file it is easy for user to load BASIC firmware onto these platforms.
Our SetupC installs our automatic make IDE called MakeItC. MakeItC will start with your C file that typically includes the main() routine. It uses the pre-processor to scan all #include files. Any header .h file found will be further inspected. If there is a corresponding .c file with the same name, that file will be added to the list of files to compile and link. If there is just a .o file with that name it will be added into the list of files to be linked. This is a recursive scan so it also scans those included files and any of their included files... Then a batch file to compile and link all those files is built and executed. Also a copy named MakeItC.log is saved in the directory of your initial file.
The Arduino Zero is the first platform we have supported that has many (more than we knew of) PCBs with the same CPU setup. So we had to make some additions to our BASICtools. We added the ability to support multiple board types for a CPU, and give the user an option to select that. Follow this link to support BASIC on you Arduino Zero.