Addde test case and fix float bug sim_tonimoto