add some bigfloat and bigint definitions. closes #2429
use float(x) instead of float64(x) in a couple places