Floating point addition now works (at least in this one case)