Checking patch bn_mp_set_double.c...
Applied patch bn_mp_set_double.c cleanly.