AM: one literal value less
AM: conversion of integers to reals on assignment is fine
AM: comments only
AM: set_contrib (Op, 1, 1.0d0) will set, not increment Op

For the transition period there is an assert that the previous value
of the option is 0.0.  It is not part of the constraints.