$ 0 0 I think that there is a TruncatedNormal Distribution that exists but I'm not a mathematician and I don't know if it worth it to add it or not. It seeams to me that it could be a good idea to include it.