Fabian b96f984963 Use softfloat f80 for x87 fpu 3 lat temu
..
softfloat.c b96f984963 Use softfloat f80 for x87 fpu 3 lat temu