Refer to "mixed" precision in user-facing documentation