put the bigfloat stuff into its own file so we can use it everywhere wil less effort