remove bigfloat support to avoid bug in v.5.3.x