Use float to work with migration versions for compatibility with 32-bit PHP

See https://github.com/EllisLab/CodeIgniter/pull/1949#issuecomment-15660013

Signed-off-by: Toby Thain <toby@telegraphics.com.au>