Some more type conversions and some instruction generation functions.