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