"""
# We take the norm (absolute value) because Octonions() isn't
# smart enough yet to coerce its one() into the base field.
"""
# We take the norm (absolute value) because Octonions() isn't
# smart enough yet to coerce its one() into the base field.