Inference for a Mean: Comparing a Mean to a Known Value
Reference: The calculations are the customary based on the normal distribution.
See for example
Hypothesis Testing: One-Sample Inference - Sample Size Determination
in Bernard Rosner's
Fundamentals of Biostatistics.