Federal budget fine print: Some details that might have slipped under the radar