Update doubledice

Simple annotation, more complex coming later.