<div id="comment:0"></div> No caching is done yet, but it shouldn't be too hard to add at some point. CC: @mwhansen Component: **coercion** _Issue created by migration from https://trac.sagemath.org/ticket/4301_