Remove (most) variable-time code in convert_double
Convenience updates in testing; update TODO list