Create softfloat.h