A final remark: I made sure that the postconditions in the container classes of Gobo (such as "last = v" in routines like `put_last (v: G)') have been adapted to deal with this NaN issue.
Let's not put our heads in the sand and claim that it's because of IEEE and that there is an ECF option. If the assertions are broken, they are broken and they need to be fixed.