Bayes procedures for deciding the Sign of a normal mean | Synapse