Use proper truncated normal density

[emitanaka]

This is a (reasonable) approximation but you should just use the exact one