Delete pseudofloat.h