Yet more style updates to the curve448 code