must remove the speedier versions due to (machine dependent) bigfloat bugs in native...