Adding initial support for FP Instrs, a soft-float binary and a specrand test