change float to double

Fork of PID by Aaron Berk

Changes

RevisionDateWhoCommit message
1:ca4077d72c94 2016-11-23 kenjiArai Change float to double default tip
0:6e12a3e5af19 2010-09-02 aberk Version 1.0