float sf_randn_one_bm (void) /*< return a random number (normally distributed, Box-Muller method) >*/ { ... }