Added tests, test for double float FSM fails, it's fine.