Merge pull request #476 from libtom/fix-double-check Build+test bn_mp_set_double.c on more platforms