The first addend a, named this way to allow for a local variable 'a'.
@protected late final FpType a;