Use helper functions to print double +/- inf/nan for sse4 testcase

Use helper functions to print double +/- inf/nan for sse4 testcase

Different libc printf implementations can have different ways to print
plus/minus nan/inf values. Add a print_double wrapper that checks
whether the double value is a nan, inf and whether it has a positive
or negative signbit. Similarly add a print_float wrapper. This way
we don't need any alternative .exps or filters.