StateObserver: added FloatingPointStateObserver