Add floating point support to printf; Add global uart for printing; Binary size bloat!!!! :'(