@LilahTovMoon looking at the definitions of the sizes of the red stars (5, 6 and 7) and their white border (½), it seems to me that A, B and C can be derived from those and are not axiomatic to the flag's definition.

I'm sure you'd end up with some square roots in the measures of those Union Jack diagonals too.