Fabian b96f984963 Use softfloat f80 for x87 fpu %!s(int64=3) %!d(string=hai) anos
..
softfloat.c b96f984963 Use softfloat f80 for x87 fpu %!s(int64=3) %!d(string=hai) anos