Reformat value in core.y