@nayuki Did this comment change your mind?