Allow the asm printer to print fp128 values properly.