Fix printing decimal-point character on printf %#a

Fix printing decimal-point character on printf %#a #179