monitor can use the NPX (for printing float objects), and restore the state when returning. This may be unnecessary on Linux?
monitor can use the NPX (for printing float objects), and restore the state when returning. This may be unnecessary on Linux?