Refactoring std for ultimate portability

Related: Pre-RFC: providable