[libc][printf] first stab at supporting floating point printf

Add support for %a and %A for all floats but denormalized.
[app][tests] tests for floating point printf