Ensuring distribution boundary conditions make sense
Integer checks and enable_if pattern