Change datatypes in spec to more realistic datatypes.