Minor bug in casting from Int to decimal