Define timer_data_type for PicoC.

This depends on the FP/NO_FP define.
This includes some conditional code
for PicoC.