appendix: FPU instructions