Fixed bug with double float FSM.