Soft floating-point implementation for Interpreter

Update: essentially complete now; both the returned values and the flags appear to be accurate according to an hwtest.  Implementation is ready to be reviewed.