What is the difference between specifying X ~ N(mu, simga2) and target += normal_lpdf(mu, sigma2)

Turns out this is just due to the fact that rounding is impacted by whether the constants are included, which definitely didn’t occur to me but makes total sense: