size property
A multiplier on every dimension. 1 is a 20-point fingertip and a
20-point arrow; a reel that zooms 2× and wants the finger to stay a
finger says 0.5, and a landing page that wants it seen says 1.4.
Implementation
final double size;