Renamed instruction df+ to double-float-add.
Renamed instruction df- to double-float-sub.