Working printf with floating point numbers!
Added object names to easily reference peripheral objects in UART and PWM