typed exponentials