Module Convert_primitives