sql.py: cast(): Documented that the value and error are inserted for each source column (hence the CROSS JOIN)