Convert heal flags datatype from integer to double.

Existing data should be cast with no data loss.