add hexfloat (%a) support for printf
Merge pull request #8729 from simonbyrne/hexfloat-printf

add hexfloat (%a) support for printf