Making the FCSR register 32-bits wide