3 ms·Hard float ARM chips are the norm now.by justincormack 13y agoHard float ARM chips are the norm now.rjsw 13y agoThe SBCL port is to hard float, there are still lots of ARM systems with VFP that don't have hardware divide.