Issue #36: metrics can now give their previous values