Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Genus 2 hyperelliptic curve families with explicit Jacobian order evaluation and pairing-friendly constructions 