Diagram B

Comanion to other token branches.
 
Not sure how to get around specializing to Double?