add no-check to integer-sqrt and sqrt-ratio, fix type checks in other functions