Update 02/12/2021: Add a version with tighter tolerances thanks to Push.
Are you sure you want to continue?
