@catc0n my floating-point needs could probably be met by an 80387.