Add std extensions