fixed type conversion system with some basic testing