They are now (or in the near future) commented out under "TODO"s, at least for FixedPoint and Real. We should revisit, document and verify their implementation.