Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Rethinking low genus hyperelliptic Jacobian arithmetic over binary fields: Interplay of field arithmetic and explicit formulæ 