int and str conversion functions.