implement some floating-point instructions