While fiddling with another patch I noticed that the reproducer is broken for floating point numbers. I.e. any inf or nan
will make the source file unable to compile. Also precision is lost in the printf:s %f. Should be %a.

My patch here has the same problem, but I will fix all floating point reproducer problems in my next patch.

Also, I noticed my mail client seemed to have replaced tabs with spaces. I put patch 1 as an attachment instead.

Regards,