distribution stored with float, strange behaviour