Renamed instruction df-* to double-float-mul.
Renamed instruction df-/ to double-float-div.